/*
 * Diego Zamboni Latance 			344990
 * Fellipe Augusto Ruiz de Souza 	344796
 * 
 */
package ast;

public class StringType extends Type {

	public StringType() {
		super("String");
	}

	public String getCname() {
		return "char *";
	}

	public String getKrakatoaName() {
		return "String";
	}
}